#include <stdio.h>

int main(){printf("welcome to ATIS, man\n");return 0;}
